Mosaics for Specifications with Implicit State
نویسندگان
چکیده
In this paper, we develop a new framework for algebraic specifications with implicit state. Among other results, this bridges the gap between specifications with implicit state and with explicit state.
منابع مشابه
The streamline diffusion method with implicit integration for the multi-dimensional Fermi Pencil Beam equation
We derive error estimates in the appropriate norms, for the streamlinediffusion (SD) finite element methods for steady state, energy dependent,Fermi equation in three space dimensions. These estimates yield optimal convergencerates due to the maximal available regularity of the exact solution.High order SD method together with implicit integration are used. The formulationis strongly consistent...
متن کاملExtraction of π - calculus specifications from UML sequence and state diagrams
We propose an automatic translation of UML specifications made up of sequence and state diagrams into π-calculus processes. The central point of the proposed translation is the coherence of the two types of diagrams. An implicit result of the paper is also the definition of a formal semantics for UML sequence diagrams.
متن کاملApplying a full implicit finite-difference method in jet impingement heat transfer studies
Jet impingement heat transfer is an effective and practical approach that is employed in many industrial processes where heating, cooling, or drying is required. Details of the heat or mass transfer rate have been investigated both experimentally and numerically and can be found in the published literature. In most of the numerical studies, control-volume approach has been employed to solve the...
متن کاملDevelopment of an Implicit Numerical Model for Calculation of SUB-and Super-Critical Flows
A two dimensional numerical model of shallow water equations was developed to calculate sub and super-critical open channel flows. Utilizing an implicit scheme the steady state equations were discretized based on a control volume method. Collocated grid arrangement was applied with a SIMPLEC like algorithm for depth-velocity coupling. A power law scheme was used for discretization of convection...
متن کاملStructural Reliability: An Assessment Using a New and Efficient Two-Phase Method Based on Artificial Neural Network and a Harmony Search Algorithm
In this research, a two-phase algorithm based on the artificial neural network (ANN) and a harmony search (HS) algorithm has been developed with the aim of assessing the reliability of structures with implicit limit state functions. The proposed method involves the generation of datasets to be used specifically for training by Finite Element analysis, to establish an ANN model using a proven AN...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2000